$\forall$$m$, $a$, $b$:$\mathbb{Z}$. ($a$ = $b$ mod $m$) $\Rightarrow$ ($b$ = $a$ mod $m$)